On lexicographic Groebner bases of radical ideals in dimension zero: interpolation and structure

Due to the elimination property held by the lexicographic monomial order, the corresponding Gröbner bases display strong structural properties from which meaningful informations can easily be extracted. We study these properties for radical ideals of (co)dimension zero. The proof presented relies on a combinatorial decomposition of the finite set of points whereby iterated Lagrange interpolation formulas permit to reconstruct a minimal Gröbner basis. This is the first fully explicit interpolation formula for polynomials forming a lexicographic Gröbner basis, from which the structure property can easily be read off. The inductive nature of the proof also yield a triangular decomposition algorithm from the Gröbner basis.